منابع مشابه
Microcontroller-Based Process Monitoring Using Petri-Nets
This paper considers the development of a Petri-net-based modelling tool as a mechanism for process and system monitoring. The use of Petri-nets, which has previously been largely based in the areas of systems modelling and simulation, is shown here to have great potential for deployment as a process monitoring and management application. Interfacing with real-world processes has been achieved ...
متن کاملAirport Traffic Simulation Using Petri Nets
Airport traffic consists of aircraft performing landing, takeoff and taxi procedures. It is controlled by air traffic controller (ATC). To safely perform this task he/she uses traffic surveillance equipment and voice communication systems to issue control clearances. One of the most important indicators of this process efficiency is practical airport capacity, which refers to the number of airc...
متن کاملSimulation of Block Assembly Process in Shipbuilding by Petri-nets
Shipbuilding Industry has undergone major changes in the past two decades. Maritime sector has grown rapidly and so has the competition. In order to survive in this competitive environment shipyards have to organize and utilize their resources at optimum capacity and efficiency. Planning and management of resources is a very crucial aspect of shipbuilding industry. There are many constraints on...
متن کاملBusiness Process Modeling Applications Using Decision Process Petri Nets
This paper presents a formal framework for business process modeling and analysis using partially ordered transition Decision Process Petri nets (DPPN). The advantage of this approach is its ability to represent the dynamic behavior of the business process. The business process model is supported by an information technology strategic planning (ITSP) model and methodology. The modeling methodol...
متن کاملParallel Simulation of Stochastic Petri Nets Using Recursive Equations Parallel Simulation of Stochastic Petri Nets Using Recurrence Equations
A new parallel simulation method is proposed for the class of stochastic decision free Petri nets, that is amenable to an SIMD implementation. This method is based on the max; +-linear structure of recurrence equations that were established for this type of systems. Two variants are analyzed, the spatial and the temporal methods. The spatial method allows one to simulate large networks. The tem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MACRo 2015
سال: 2015
ISSN: 2247-0948
DOI: 10.1515/macro-2015-0017